projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca135a4) | patch
xen:arm: we never get into schedule_tail() with prev==current
authorAndrii Anisov <andrii_anisov@epam.com>
Wed, 8 May 2019 09:59:38 +0000 (12:59 +0300)
committerJulien Grall <julien.grall@arm.com>
Thu, 16 May 2019 15:47:09 +0000 (16:47 +0100)
commit5945b57b055abcab803d23974e95c3657ef597fb
tree19e47add60ce901dcc920e92e948934cdd396883tree | snapshot
parentca135a4863ffeedca451651835fcd9aef6c872ffcommit | diff
xen:arm: we never get into schedule_tail() with prev==current

ARM's schedule_tail() is called from two places: context_switch() and
continue_new_vcpu(). Both functions are always called with
prev!=current. So replace the correspondent check in schedule_tail()
with ASSERT() which is the development (debug) build guard.

Signed-off-by: Andrii Anisov <andrii_anisov@epam.com>
Reviewed-by: Dario Faggioli <dfaggioli@suse.com>
Acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/domain.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.